$\forall$$T$:Type, $x$, $y$:$T$, ${\it nms}_{1}$, ${\it nms}_{2}$:(MaName List). if ${\it nms}_{1}$ and ${\it nms}_{2}$ overlap then $x$ else $y$ fi $\in$ $T$